import java.io.Serializable;

public class MCMASClientData implements Serializable
{
    public boolean cexFound;
    public String seedState;
    public int statesExplored;
    public int memoryUsed;
    public double timeUsed;
}
